Computationally Grounded Account of Belief and Awareness for AI Agents
نویسندگان
چکیده
We discuss the problem of designing a computationally grounded logic for reasoning about epistemic attitudes of AI agents, mainly concentrating on beliefs. We briefly review exisiting work and analyse problems with semantics for epistemic logic based on accessibility relations, including interpreted systems. We then make a case for syntactic epistemic logics and describe some applications of those logics in verifying AI agents.
منابع مشابه
Model checking degrees of belief in a system of agents
Reasoning about degrees of belief has been investigated in the past by a number of authors and has a number of practical applications in real life. In this paper we present a unified framework to model and verify degrees of belief in a system of agents. In particular, we describe an extension of the temporal-epistemic logic CTLK and we introduce a semantics based on interpreted systems for this...
متن کاملComputationally Grounded Model of BDI-Agents
There are two main semantic approaches to formalizing agent systems via modal logics, the possible worlds semantics [Hintikka, 1962] and the interpreted system model [Fagin et al., 1995]. The first approach includes the well-known theory of intension [Cohen and Levesque, 1990] and the formalism of the belief-desire-intension paradigm [Rao and Georgeff, 1998]. The second approach, offers a natur...
متن کاملNatural Language Parsing using Cell Assemblies: computational linguistics with attractor nets
Computationally, neural processors have an obvious mechanism of symbol grounding; symbols can be grounded in sensory data giving a mechanism for at least basic sensory semantics. So neural processing has a hope of resolving the classic AI symbol grounding problem (Fodor 2000), since its symbols are grounded in sensory inputs. Semantics are critical for resolving parsing ambiguities and for robu...
متن کاملHand Hygiene Predictors in the Staff of Tehran Dentistry Centers Based on the Health Belief Model
Introduction: Transmission of infection by the hands of dentists and staff of dentistry centers is a major source of pathogens for patients that may cause clinical infections and can be prevented by proper hygiene. Considering the prevalence of dentistry services in the country, the present paper aims at determining the predictors of hand hygiene among the dentistry centers staff based on the h...
متن کاملAwareness and attitude assessment regarding toxic metal-contaminated rice based on the Health Belief Model
Given the presence of toxic metals in some local Iranian as well as some imported rice varieties, it may be of help to focus on public awareness for the implementation of educational interventions. This study aimed to assess awareness and attitudes of women in Sanandaj, Iran, regarding toxic metal-contaminated rice based on the Health Belief Model (HBM). This cross-sectional study was conducted...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010